| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 478709 | ||
| Advanced Internet Technology | Fach-/Modulprüfung | 6 | 481832 | ||
| Übung | 481600 | ||||
| Vorlesung | 481601 | Do 10:30-12:00 AH I (2350|028) (×12) Fr 10:30-12:00 AH I (2350|028) (×12) | |||
| Efficient Algorithms | Fach-/Modulprüfung | 6 | 477977 | ||
| Functional Programming | Fach-/Modulprüfung | 6 | 477345 | ||
| Logic Programming | Fach-/Modulprüfung | 6 | 477019 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 477928 | ||
| Übung | 474235 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Vorlesung | 474525 | Mo 12:00-14:00 5055 (2356|055) (×1) Mo 16:30-18:00 AH II (2350|111) (×10) Di 18:30-20:00 AH III (2350|314.1) (×12) Do 09:50-15:00 5052 (2356|052) (×1) |